Error

two or more packages specified (spi inc. prover9-doc)